তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে
1
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 2.72 MB
0 / 0
english, 2010
2
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe (auth.)
সাল:
2017
ভাষা:
german
ফাইল:
PDF, 2.44 MB
0 / 5.0
german, 2017
3
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
সাল:
2003
ভাষা:
english
ফাইল:
PDF, 14.21 MB
0 / 0
english, 2003
4
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
সাল:
2009
ভাষা:
english
ফাইল:
PDF, 6.22 MB
0 / 0
english, 2009
8
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen

Dr. phil. nat. Rolf Drechsler, Prof. Dr. rer. nat. Bernd Becker (auth.)
সাল:
1998
ভাষা:
german
ফাইল:
PDF, 5.25 MB
0 / 0
german, 1998
10
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler (auth.)
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 4.74 MB
5.0 / 5.0
english, 2018
11
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Nabila Abdessaied, Rolf Drechsler (auth.)
সাল:
2016
ভাষা:
english
ফাইল:
PDF, 5.99 MB
0 / 0
english, 2016
12
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Mathias Soeken, Rolf Drechsler (auth.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 7.24 MB
0 / 0
english, 2015
13
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 2.70 MB
0 / 0
english, 2010
14
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
সাল:
1998
ভাষা:
english
ফাইল:
PDF, 4.85 MB
0 / 0
english, 1998
15
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 1.51 MB
0 / 0
english, 2012
16
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
সাল:
1998
ভাষা:
english
ফাইল:
PDF, 7.56 MB
0 / 0
english, 1998
17
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 3.49 MB
0 / 0
english, 2010
18
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
সাল:
2000
ভাষা:
english
ফাইল:
PDF, 12.73 MB
0 / 0
english, 2000
19
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Julia Seiter, Robert Wille, Rolf Drechsler (auth.)
সাল:
2017
ভাষা:
english
ফাইল:
PDF, 2.07 MB
0 / 0
english, 2017
21
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 3.25 MB
0 / 0
english, 2010
25
Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller (auth.)
সাল:
2001
ভাষা:
english
ফাইল:
PDF, 9.48 MB
0 / 0
english, 2001
27
Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
সাল:
2009
ভাষা:
english
ফাইল:
PDF, 4.80 MB
0 / 0
english, 2009
29
Towards One-Pass Synthesis

Towards One-Pass Synthesis

Rolf Drechsler, Wolfgang Günther (auth.)
সাল:
2002
ভাষা:
english
ফাইল:
PDF, 6.34 MB
0 / 0
english, 2002
30
Towards One-Pass Synthesis

Towards One-Pass Synthesis

Rolf Drechsler, Wolfgang Günther (auth.)
সাল:
2002
ভাষা:
english
ফাইল:
PDF, 4.92 MB
0 / 0
english, 2002